(0 7 3)(1 18 16)(2 14 5)(4 17 12)(6 11 9)(8 20 10)(13 19 15)
ALLOWS (11/8)-SEQUENCE
1: (8 13 19)
(0 7 3)(1 18 16)(2 14 5)(4 17 12)(6 11 9)(8 15 13 20 10)(19)
2: (4 17 12)
(0 7 3)(1 18 16)(2 14 5)(4)(6 11 9)(8 15 13 20 10)(12)(17)(19)
3: (1 18 16)
(0 7 3)(1)(2 14 5)(4)(6 11 9)(8 15 13 20 10)(12)(16)(17)(18)(19)
4: (10 13 20)
(0 7 3)(1)(2 14 5)(4)(6 11 9)(8 15 13)(10)(12)(16)(17)(18)(19)(20)